$\forall$$T$:(Id$\rightarrow$Type), ${\it tab}$:secret{-}table($T$), ${\it kx}$:(($\mathbb{N}$+Atom1)$\times$Atom1). decrypt(${\it tab}$;${\it kx}$) $\in$ data($T$)+Unit